FRIBOURG, LAURENT: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Oriented equational clauses as a programming language

Laurent Fribourg

Journal:

The Journal of Logic Programming

Year:

1984

Language:

english

File:

PDF, 844 KB

english, 1984

2

Randomized dining philosophers without fairness assumption

Marie Duflot, Laurent Fribourg, Claudine Picaronny

Journal:

Distributed Computing

Year:

2004

Language:

english

File:

PDF, 331 KB

english, 2004

3

[IEEE 2019 22nd Euromicro Conference on Digital System Design (DSD) - Kallithea, Greece (2019.8.28-2019.8.30)] 2019 22nd Euromicro Conference on Digital System Design (DSD) - LAOCOÖN: A Run-Time Monitoring and Verification Approach for Hardware Trojan Detection

Danger, Jean-Luc, Fribourg, Laurent, Kuhne, Ulrich, Naceur, Maha

Year:

2019

Language:

english

File:

PDF, 576 KB

english, 2019

4

[IEEE 2019 18th European Control Conference (ECC) - Naples, Italy (2019.6.25-2019.6.28)] 2019 18th European Control Conference (ECC) - A symbolic approach to voltage stability and power sharing in time-varying DC microgrids

Zonetti, Daniele, Saoud, Adnane, Girard, Antoine, Fribourg, Laurent

Year:

2019

File:

PDF, 395 KB

2019

5

A superposition oriented theorem prover

Laurent Fribourg

Journal:

Theoretical Computer Science

Year:

1985

Language:

english

File:

PDF, 2.09 MB

english, 1985

6

Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC

Marie Duflot, Laurent Fribourg, Thomas Herault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 793 KB

english, 2005

7

Time Separation of Events: An Inverse Method

Emmanuelle Encrenaz, Laurent Fribourg

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 315 KB

english, 2008

8

An Inverse Method for Parametric Timed Automata

Étienne André, Thomas Chatain, Laurent Fribourg, Emmanuelle Encrenaz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 463 KB

english, 2008

9

A strong restriction of the inductive completion procedure

Laurent Fribourg

Journal:

Journal of Symbolic Computation

Year:

1989

Language:

english

File:

PDF, 1.42 MB

english, 1989

10

Reachability sets of parameterized rings as regular languages

Laurent Fribourg, Hans Olsén

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

File:

PDF, 28 KB

1997

11

Coupling and self-stabilization

Laurent Fribourg, Stéphane Messika, laudine Picaronny

Journal:

Distributed Computing

Year:

2006

Language:

english

File:

PDF, 457 KB

english, 2006

12

Timed verification of the generic architecture of

Remy Chevallier, Emmanuelle Encrenaz-Tiphene, Laurent Fribourg, Weiwen Xu

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 788 KB

english, 2009

13

A Decompositional Approach for Computing Least Fixed-Points of Datalog Programs with Z-Counters

Laurent Fribourg, Hans Olsén

Journal:

Year:

1997

Language:

english

File:

PDF, 539 KB

english, 1997

14

A Compared Study of Two Correctness Proofs for the Standardized Algorithm of ABR Conformance

Béatrice Bérard, Laurent Fribourg, Francis Klay, Jean-François Monin

Journal:

Formal Methods in System Design

Year:

2003

Language:

english

File:

PDF, 202 KB

english, 2003

15

[Lecture Notes in Computer Science] Logic Program Synthesis and Transformation — Meta-Programming in Logic Volume 883 || Introspective metatheoretic reasoning

Fribourg, Laurent, Turini, Franco

Year:

1994

Language:

english

File:

PDF, 829 KB

english, 1994

16

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Sampled Switched Systems

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 232 KB

english, 2013

17

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Control Theory: Basic Concepts

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 235 KB

english, 2013

18

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Stability Controllers

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 289 KB

english, 2013

19

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Safety Controllers

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 658 KB

english, 2013

20

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Application to Multilevel Converters

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 707 KB

english, 2013

21

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Other Issues: Reachability, Sensitivity, Robustness and Nonlinearity

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 324 KB

english, 2013

22

An extension of the inverse method to probabilistic timed automata

Étienne André,Laurent Fribourg,Jeremy Sproston

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 971 KB

english, 2013

23

[IEEE 2008 Fifth International Conference on Quantitative Evaluation of Systems - St Malo, France (2008.09.14-2008.09.17)] 2008 Fifth International Conference on Quantitative Evaluation of Systems - Computing Expected Absorption Times for Parametric Determinate Probabilistic Timed Automata

Chamseddine, Najla, Duflot, Marie, Fribourg, Laurent, Picaronny, Claudine, Sproston, Jeremy

Year:

2008

Language:

english

File:

PDF, 296 KB

english, 2008

24

[IEEE 2012 19th International Symposium on Temporal Representation and Reasoning (TIME) - Leicester, United Kingdom (2012.09.12-2012.09.14)] 2012 19th International Symposium on Temporal Representation and Reasoning - Robustness Analysis for Scheduling Problems Using the Inverse Method

Fribourg, Laurent, Soulat, Romain, Lesens, David, Moro, Pierre

Year:

2012

Language:

english

File:

PDF, 741 KB

english, 2012

25

[IEEE 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) - Chongqing, China (2014.8.20-2014.8.22)] 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications - Component-based analysis of hierarchical scheduling using linear hybrid automata

Sun, Youcheng, Lipari, Giuseppe, Soulat, Romain, Fribourg, Laurent, Markey, Nicolas

Year:

2014

Language:

english

File:

PDF, 403 KB

english, 2014

26

[IEEE 2013 15th European Conference on Power Electronics and Applications (EPE) - Lille, France (2013.09.2-2013.09.6)] 2013 15th European Conference on Power Electronics and Applications (EPE) - Use of a full wave correct-by-design command to control a multilevel modular converter

Soulat, Romain, Herault, Guillaume, Labrousse, Denis, Revol, Bertrand, Feld, Gilles, Lefebvre, Stephane, Fribourg, Laurent

Year:

2013

Language:

english

File:

PDF, 2.64 MB

english, 2013

27

[Lecture Notes in Computer Science] Computer Science Logic Volume 2142 || Modal Logic and the Two-Variable Fragment

Fribourg, Laurent

Year:

2001

Language:

english

File:

PDF, 265 KB

english, 2001

28

[Lecture Notes in Computer Science] Computer Science Logic Volume 2142 ||

Fribourg, Laurent

Year:

2001

Language:

english

File:

PDF, 5.56 MB

english, 2001

29

[Lecture Notes in Computer Science] Computer Science Logic Volume 2142 || Categorical and Kripke Semantics for Constructive S4 Modal Logic

Fribourg, Laurent

Year:

2001

Language:

english

File:

PDF, 192 KB

english, 2001

30

PARAMETRIC VERIFICATION AND TEST COVERAGE FOR HYBRID AUTOMATA USING THE INVERSE METHOD

FRIBOURG, LAURENT, KÜHNE, ULRICH

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 501 KB

english, 2013

31

AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA

ANDRÉ, ÉTIENNE, CHATAIN, THOMAS, FRIBOURG, LAURENT, ENCRENAZ, EMMANUELLE

Journal:

International Journal of Foundations of Computer Science

Year:

2009

Language:

english

File:

PDF, 344 KB

english, 2009

32

[Lecture Notes in Computer Science] Computer Science Logic Volume 2142 || Local Reasoning about Programs that Alter Data Structures

Fribourg, Laurent

Year:

2001

Language:

english

File:

PDF, 188 KB

english, 2001

33

[ACM Press the twenty-fourth annual ACM SIGACT-SIGOPS symposium - Las Vegas, NV, USA (2005.07.17-2005.07.20)] Proceedings of the twenty-fourth annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing - PODC '05 - Brief announcement

Fribourg, Laurent, Messika, Stéphane

Year:

2005

Language:

english

File:

PDF, 96 KB

english, 2005

34

Control of mechanical systems using set based methods

Le Coënt, Adrien, De Vuyst, Florian, Rey, Christian, Chamoin, Ludovic, Fribourg, Laurent

Journal:

International Journal of Dynamics and Control

Year:

2016

Language:

english

File:

PDF, 2.42 MB

english, 2016

35

[IEEE 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Vienna, Austria (2016.4.11-2016.4.11)] 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR) - Control of nonlinear switched systems based on validated simulation

Le Coent, Adrien, dit Sandretto, Julien Alexandre, Chapoutot, Alexandre, Fribourg, Laurent

Year:

2016

Language:

english

File:

PDF, 440 KB

english, 2016

36

Toward Parametric Timed Interfaces for Real-Time Components

Sun, Youcheng, Lipari, Giuseppe, André, Étienne, Fribourg, Laurent

Journal:

Electronic Proceedings in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 246 KB

english, 2014

37

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Bibliography

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 51 KB

english, 2013

38

An improved algorithm for the control synthesis of nonlinear sampled switched systems

Le Coënt, Adrien, Alexandre dit Sandretto, Julien, Chapoutot, Alexandre, Fribourg, Laurent

Journal:

Formal Methods in System Design

Year:

2017

Language:

english

File:

PDF, 1.45 MB

english, 2017

39

Compositional synthesis of state-dependent switching control

Le Coënt, Adrien, Fribourg, Laurent, Markey, Nicolas, De Vuyst, Florian, Chamoin, Ludovic

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 2.12 MB

english, 2018

40

[ACM Press the 21st International Conference - Porto, Portugal (2018.04.11-2018.04.13)] Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) - HSCC '18 - Contract based Design of Symbolic Controllers for Vehicle Platooning

Saoud, Adnane, Girard, Antoine, Fribourg, Laurent

Year:

2018

Language:

english

File:

PDF, 563 KB

english, 2018

41

Varicella-zoster virus CNS vasculitis and RNA polymerase III gene mutation in identical twins

Carter-Timofte, Madalina E., Hansen, Anders F., Mardahl, Maibritt, Fribourg, Sébastien, Rapaport, Franck, Zhang, Shen-Ying, Casanova, Jean-Laurent, Paludan, Søren R., Christiansen, Mette, Larsen, Cars

Journal:

Neurology: Neuroimmunology & Neuroinflammation

Year:

2018

Language:

english

File:

PDF, 602 KB

english, 2018

42

[IEEE 2018 17th European Control Conference (ECC) - Limassol (2018.6.12-2018.6.15)] 2018 European Control Conference (ECC) - On the Composition of Discrete and Continuous-time Assume-Guarantee Contracts for Invariance

Saoud, Adnane, Girard, Antoine, Fribourg, Laurent

Year:

2018

Language:

english

File:

PDF, 8 KB

english, 2018

43

[IEEE 2018 IEEE Conference on Decision and Control (CDC) - Miami Beach, FL (2018.12.17-2018.12.19)] 2018 IEEE Conference on Decision and Control (CDC) - Contract Based Design of Symbolic Controllers for Interconnected Multiperiodic Sampled-Data Systems

Saoud, Adnane, Girard, Antoine, Fribourg, Laurent

Year:

2018

Language:

english

File:

PDF, 577 KB

english, 2018

44

Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method

Coënt, Adrien Le, Fribourg, Laurent, Vacher, Jonathan

Journal:

IFAC-PapersOnLine

Year:

2018

Language:

english

File:

PDF, 885 KB

english, 2018

45

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Proof of Theorem 4.3

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 113 KB

english, 2013

46

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Example with | R *Δ|=∞

Fribourg, Laurent, Soulat, Romain

Year:

2013

File:

PDF, 93 KB

2013

47

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Applications of the Enhanced Decomposition Procedure

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 126 KB

english, 2013

48

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Index

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 52 KB

english, 2013

49

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Code

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 110 KB

english, 2013

50

Control of Switching Systems by Invariance Analysis (Application to Power Electronics) || Front Matter

Fribourg, Laurent, Soulat, Romain

Year:

2013

Language:

english

File:

PDF, 203 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски